Formula language - PDFSEARCH.IO - Document Search Engine

Formula language
Results: 154

#	Item
1	The LATEX3 Project c 1995–1999 Frank Mittelbach and Chris Rowley 12 January 1999 Abstract Add to Reading List Source URL: www.latex-project.org Language: English - Date: 2016-08-08 13:00:03 Software Application software Computing Typesetting ISO standards LaTeX TeX Desktop publishing software Standard Generalized Markup Language Document Style Semantics and Specification Language Formula editor ConTeXt
2	DOC Document Add to Reading List Source URL: www.icste.org Language: English - Date: 2015-12-17 05:09:10 Punctuation Notation Electromagnetism Language Abbreviation Dimensional analysis MathType Formula editor TeX Dash Magnet Bracket
3	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol
4	Narratives in Physics: quantitative metaphors and FORMULA ∈ tropes? Klaus Mecke in: Narrated Communities and Narrated Realities. Erzählen als Erkenntnisprozess und kulturelle Praxis. Internationale Jahreskonferenz des Add to Reading List Source URL: elinas.fau.de Language: English - Date: 2014-05-23 07:47:50 Cognitive science Philosophy Cognition Measurement Philosophy of language Conceptual metaphor Metaphor George Lakoff Level of measurement Quantity Disease Narrative
5	An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Theoretical computer science Mathematical logic Software engineering Computability theory Models of computation Logic in computer science Programming language semantics Denotational semantics Recursion Negation True quantified Boolean formula Mathematical proof
6	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
7	Important Concepts Examples Functions Formal language and notation associated Add to Reading List Source URL: media.pearsoncmg.com Language: English - Date: 2014-01-02 18:19:21 Elementary algebra Equations Polynomials Functions and mappings Parabolas Quadratic function Quadratic equation Completing the square Quadratic formula Function Complex number Quadratic form
8	WExEd - WebALT Exercise Editor for Multilingual Mathematics Exercises Arjeh Cohen? Hans Cuypers? Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2005-12-08 03:02:19 Mathematical markup languages Markup languages OpenMath Exercise Natural language generation Formula editor Sentence Formal language
9	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
10	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability

UPDATE